Перевод: со всех языков на русский

с русского на все языки

С русского на:
Все языки
Со всех языков на:
Все языки
Английский
Русский

generalized quantifier

Толкование Перевод

1 generalized quantifier

мат. обощенный квантор

Большой англо-русский и русско-английский словарь > generalized quantifier
2 generalized quantifier

Математика: обобщённый квантор

Универсальный англо-русский словарь > generalized quantifier
3 generalized quantifier

мат.

обобщённый квантор

English-Russian scientific dictionary > generalized quantifier
4 quantifier

квантор || кванторный

- choice quantifier

- doubly bounded quantifier

- dummy quantifier

- function quantifier

- fuzzy quantifier

- generalized quantifier

- hyperarithmetical quantifier

- implicational quantifier

- logical quantifier

- notchless quantifier

- numerical quantifier

- pure quantifier

- recursively bounded quantifier

- relativizing quantifier

- restricted quantifier

- statistical quantifier

- typical quantifier

- unbounded quantifier

- unrestricted quantifier

- vacuous quantifier

English-Russian scientific dictionary > quantifier
5 обощенный квантор

мат. generalized quantifier

Большой англо-русский и русско-английский словарь > обощенный квантор
6 symbol

1) знак

2) обозначение

3) символ, символическое обозначение

•

- absolute symbol

- admissible symbol

- algebraic symbol

- alphabetic symbol

- alternating symbol

- approximately equal symbol

- asymptotic symbol

- autonymous symbol

- auxiliary symbol

- bar symbol

- basic symbol

- bicharacteristic symbol

- bimultiplicative symbol

- checking symbol

- code symbol

- combinatorial symbol

- complete symbol

- complex symbol

- conjunction symbol

- constant symbol

- definable symbol

- degenerating symbol

- delta symbol

- differentiation symbol

- digital symbol

- disjunction symbol

- dollar sign symbol

- dotted symbol

- dual symbol

- eliminable symbol

- elliptic symbol

- empty symbol

- equality symbol

- erroneous symbol

- existential quantifier symbol

- falsehood symbol

- formal symbol

- function symbol

- fundamental symbol

- generalized symbol

- greatest integer symbol

- grouping symbol

- identity symbol

- improper symbol

- incidence symbol

- incomplete symbol

- individual symbol

- information symbol

- input symbol

- literal symbol

- logical symbol

- main function symbol

- mathematical symbol

- metalogical symbol

- modular symbol

- multiplication symbol

- negation symbol

- nonnumeric symbol

- nonterminal symbol

- norm residue symbol

- norm symbol

- number symbol

- object symbol

- observable symbol

- operator symbol

- partial derivative symbol

- permutation symbol

- plus or minus symbol
- power residue symbol
- predicate symbol

- primitive symbol

- punctuation symbol

- quotient symbol

- relation symbol

- relative symbol

- self-dual symbol

- semirational symbol

- separation symbol

- shorthand symbol

- special symbol

- standard symbol

- summation symbol

- symbol of conjunction

- symbol of disjunction

- symbol of equivalence

- symbol of implication

- symbol of linear differential operator

- symbol of negation

- symbol of pseudodifferential operator
- symbol of unit - symbol of virtual intersection
- symbol shape

- syncategorematic symbol

- syntactical symbol

- tame symbol

- technical symbol

- truth symbol

- type symbol

- universal quantifier symbol

- universal symbol

- variable symbol

- vector symbol

English-Russian scientific dictionary > symbol
7 algebra

алгебра

algebra at infinity — алгебра на бесконечности

algebra over a field — алгебра над полем

algebra with unit element — алгебра с единицей

algebra with prime characteristic — алгебра с простой характеристикой

algebra with minimality condition — алгебра с условием минимальности, алгебра с условием обрыва убывающих цепей

algebra with maximality condition — алгебра с условием максимальности, алгебра с условием обрыва возрастающих цепей

algebra with involution — алгебра с инволюцией

algebra with identity — алгебра с единицей

algebra with differentiation — дифференциальная алгебра

algebra with connection — алгебра со связью

algebra without connection — алгебра без связи

algebra without identity — алгебра без единицы

algebra without radical — алгебра без радикала

it can be shown by a little algebra — путем несложных алгебраических преобразований можно показать

space over algebra — пространство над алгеброй

- absolutely segregated algebra

- abstract algebra

- acyclic algebra

- adjacency algebra

- affine algebra

- affinoidal algebra

- algebra of attributes

- algebra of bounded representation type

- algebra of circuits

- algebra of classes

- algebra of constants

- algebra of endomorphisms

- algebra of events

- algebra of finite order

- algebra of finite rank

- algebra of infinite order

- algebra of infinite rank

- algebra of linearly bounded degree

- algebra of logic

- algebra of partitions

- algebra of quantities

- algebra of recursive functions

- algebra of relations

- algebra of residue classes

- algebra of rows

- algebra of sets

- algebra of smooth germs

- algebra of states and events

- algebra of subsets

- algebra of terms

- algebra of uniform index

- algebra of varieties

- algebraic algebra

- alternate exterior algebra

- alternating algebra

- amenable algebra

- analytic algebra

- annihilator algebra

- annulus algebra

- anticommutative algebra

- antisymmetric algebra

- associative algebra

- atomic algebra

- atomic boolean algebra

- atomless algebra

- attainable algebra

- augmented algebra

- auxiliary algebra

- Banach algebra

- barreled algebra

- basis of algebra

- bicylinder algebra

- bidual algebra

- biregular algebra

- block algebra

- bornological algebra

- cardinal algebra

- Cartan algebra

- categorical algebra

- causal algebra

- centerless algebra

- central algebra

- central division algebra

- centralizable algebra

- circuit algebra

- class algebra

- classical algebra

- closed algebra

- closure algebra

- cofibrant algebra

- cohomology algebra

- collapsing algebra

- collinear algebra

- color algebra

- combinatorial algebra

- commutant algebra

- commutator algebra

- commuting algebra

- compact algebra

- compactly embedded algebra

- complete algebra

- complex algebra

- complexified algebra

- compression of algebra

- condition algebra

- conformal algebra

- connected algebra

- conservative algebra

- constraint algebra

- context-free algebra

- contracted algebra

- contraction algebra

- contravariant algebra

- convex algebra

- convolution algebra

- coordinate algebra

- cosimple algebra

- countably additive algebra

- countably generated algebra

- covered algebra

- cubic algebra

- current algebra

- cylindric algebra

- decidable algebra

- degenerate algebra

- derivation algebra

- derived algebra

- dichotomic algebra

- difference algebra

- differentiable algebra

- differential algebra

- disk algebra

- distinguished algebra

- distributive algebra

- division algebra

- elastic algebra

- elementary algebra

- embedded algebra

- endomorphism algebra

- enumerable algebra

- enveloping algebra

- exceptional algebra

- extended algebra

- exterior algebra

- extremal algebra

- field-like algebra

- finite algebra

- finitely defined algebra

- finitely generated algebra

- fixed algebra

- flat algebra

- free Lie algebra

- freely generated algebra

- full algebra

- fully reducible algebra

- function algebra

- functionally complete algebra

- functionally free algebra

- generalized algebra

- generic algebra

- geometrical algebra

- graded algebra

- graph algebra

- group algebra

- groupoid algebra

- hereditarily paracompact algebra

- heterogeneous algebra

- higher algebra

- holonomy algebra

- homeomorphic algebras

- homogeneous algebra

- homological algebra

- homotopical algebra

- hypercomplex algebra

- hyperfinite algebra

- ideal algebra

- idempotent algebra

- image algebra

- implicative algebra

- imprimitivity algebra

- incidence algebra

- incomplete algebra

- indecomposable algebra

- infinite algebra

- infinitely generated algebra

- injective algebra

- integral algebra

- intuitionistic algebra

- inverse algebra

- involutory algebra

- irreducible algebra

- krakowian algebra

- left algebra

- left-alternative algebra

- limit algebra

- linearly compact algebra

- linearly topological algebra

- local algebra

- locally finite algebra

- locally nilpotent algebra

- locally solvable algebra

- loop algebra

- matrix algebra

- maximal algebra

- measure algebra

- monadic algebra

- monoid algebra

- monomial algebra

- monounary algebra

- multilinear algebra

- multiplication algebra

- multiplicatively convex algebra

- multiplier algebra

- nilpotent algebra

- nonassociative algebra

- nonatomic algebra

- noncommutative algebra

- noncommutative polynomial algebra

- noncompact algebra

- nondegenerated algebra

- nonisomorphic algebra

- nonmetric algebra

- normal algebra

- normalizable algebra

- normalized algebra

- null algebra

- numeroid algebra

- operation algebra

- optional algebra

- ordered algebra

- orthogonal algebra

- p-adic algebra

- pair algebra

- partial algebra

- partially ordered algebra

- polyadic algebra

- polydisk algebra

- polylinear algebra

- polynomial algebra

- power-associative algebra

- primitive algebra

- probability algebra

- projective algebra

- propositional algebra

- pseudonormal algebra

- pseudosimple algebra

- quantifier algebra

- quasiassociative algebra

- quasifinite algebra

- quasilocal algebra

- quasiminor algebra

- quaternion algebra

- quotient algebra

- radical algebra

- ramified algebra

- rational algebra

- real algebra

- reduced algebra

- reductive algebra

- regularizable algebra

- relational algebra

- relationship algebra

- representable algebra

- representation algebra

- residue algebra

- restricted algebra

- retractable algebra

- right alternative algebra

- scale algebra

- segmental algebra

- segregated algebra

- self-adjoint algebra

- semifinite algebra

- semigroup algebra

- semilinear algebra

- semiordered algebra

- semisimple algebra

- semisimplicial algebra

- semitensor algebra

- separable algebra

- sigma algebra

- skew-commutative algebra

- solvable algebra

- special algebra

- spinor algebra

- split algebra

- standard algebra

- star algebra

- state algebra

- stiff algebra

- stochastic algebra

- strict algebra

- subdirectly irreducible algebra

- subdirectly reducible algebra

- subtractive algebra

- sufficient algebra

- superatomic algebra

- supplemented algebra

- switching algebra

- symbolic algebra

- symplectic algebra

- syncopated algebra

- tangent algebra

- ternary algebra

- three-dimensional algebra

- topological algebra

- topologically symmetrical algebra

- transition algebra

- tree algebra

- triply generated algebra

- twisted polynomial algebra

- two-dimensional algebra

- two-element algebra

- two-valued algebra

- uncountable algebra

- ungraded algebra

- uniform algebra

- uniformly closed algebra

- unimodular algebra

- uniserial algebra

- unitary algebra

- universal algebra

- unramified algebra

- variable algebra

- vector algebra

- vector-matrix algebra

- weakly distributive algebra

- weakly hereditary algebra

- word algebra

English-Russian scientific dictionary > algebra
8 form

1) анкета; бланк

2) вид; форма || придавать вид или форму

3) контур; очертание

4) конфигурация

5) разновидность

6) строит. опалубка; элемент опалубки

7) скамейка, лавочка

8) формуляр

9) составлять; образовывать

10) формироваться

•

calculation in a series form — матем. вычисление с помощью ряда

evaluation of indeterminate form — матем. раскрытие неопределённости

expression in a closed form — выражение в конечном виде

fraction in a factored form — матем. дробь в форме разложения на множители

in a functonal form — в виде функции

in an expanded form — в виде ряда; в развёрнутом виде

integration in a closed form — матем. интегрирование в конечном виде

in the form of — в виде

of closed form — матем. в конечном виде, с конечным числом членов

preparation of type form — полигр. чернение набора

reduction to a normal form — матем. приведение к нормальной форме

to be supplied in a knock-down form — поставляться в разобранном виде

to bring into a canonical form — матем. приводить к канонической форме; приводить к каноническому виду

to draw up in a draft form — составлять начерно

to form a knee — сгибаться под углом

to form a circle — замыкаться в кольцо; образовывать кольцо

to form an angle with — образовывать угол c

to form an erect image — давать прямое изображение

to present in a factor form — разлагать на множители

to rearrange in the form — переписывать в виде; преобразовывать к виду ( об уравнениях)

to reduce equation to a form — приводить уравнение к виду

to simplify to this form — упростить и привести к следующему виду

to take on a form — принимать форму; принимать вид

- abridged form

- absolute form

- absolutely bounded form
- absolutely convergent form - absolutely extreme form
- abstract form

- adjoint form

- alternating form

- antiholomorphic form

- antilinear form

- antisymmetric form

- arithmetical form

- assertional form

- asymptotic form

- autodual form

- automorphic form

- bihomogeneous form

- bilinear form

- binomial form

- biquadratic form

- blank form

- block form

- boundary form

- bounded form

- bundle form

- categorical form

- center-radius form

- characteristic form

- classical canonical form

- classically integral form

- closable form

- coclosed form

- coded form

- coercive form

- collapsible form

- combinatory form

- compact form

- complementary boundary form

- completely positive form

- complex form

- complex-valued form

- condensed form

- confluent form

- conjugate form

- conjunctive form

- connection form

- contact form

- contiguous form

- contracted form

- convergent form

- convex form

- copositive form

- cubic form

- curvature form

- cusp form

- decimal form

- decomposable form

- defined form
- definite form
- degenerate form

- diagonal form

- diagonalized form

- difference form

- differential form

- dimensionless form

- discontinuous form

- disjunctive form

- distributive form

- divergence form

- dominant form

- double form

- echelon form

- effective form

- elemental form
- elementary form - elimination form of inverse
- elliptic form

- enantiomorphous form

- equivalent forms

- equivariant form

- essentually definite form
- everywhere regular form - evolutionary operation form
- exact form

- expanded form

- explicit form

- exponential form

- extensive form

- exterior form

- extreme form

- fiber form

- final form

- first fundamental form

- flat form

- form of constraint

- functional form

- fundamental form

- gage form

- generalized form

- generally covariant form
- geodesic curvature form
- goniometric form

- ground form

- hemihedral form

- holohedral form

- homological form

- horizontal form

- hyperbolic form

- hypocontinuous form

- implicative form

- implicit form

- imprimitive form

- improperly primitive form
- indefinite form
- indeterminate form

- index form

- inertia form

- inhomogeneous modular form

- initial form

- integer form

- integrable form

- integrated form of equation

- integro-differential form

- integro-power form

- intercept form

- intersection form

- invariant form

- irreducible form

- irredundant form

- iteratable form

- iterated form

- krakowian form

- left-invariant form

- limiting form

- locally compactifiable form

- logarithmical form

- measurable form

- meromorphic form

- message form

- minimal form

- modular form

- m-sectorial form

- multilinear form

- multiplicative form

- name form

- n-ary form

- negative definite form

- negative form

- negative semidefinite form

- neutral form

- nondegenerate form

- nonfull form

- nonnegative definite form

- nonnegative form

- nonpositive definite form

- nonpositive form

- nonsingular form

- norm form

- normal disjunctive form

- normed form

- normic form

- nuclear bilinear form

- null form

- numerical form

- one-signed quadratic form

- open form

- operator form

- optically active form
- p-adically equivalent form
- parametric form

- perfect form

- Pfaffian form

- piecewise linear form

- point-direction form

- point-slope form

- polarization form

- polarized form

- polylinear form

- polynomial form

- positive semidefinite form

- predicate form

- prime form

- primitive quadratic form

- principal form

- product form

- projective form

- properly equivalent forms

- propositional form

- pseudoasymptotic form

- pseudoelliptical form

- pseudoholomorphic form

- pseudoquadratic form

- pseudovolume form

- quantifier form

- quartic form

- quasiasymptotic form

- quasibilinear form

- quasidiagonal form

- quasinatural form

- quasinormal form

- quasiregular form

- quaternary form

- quaternion form

- rational form

- real-valued form

- reciprocal form

- rectangular form of complex number

- reduced echelon form

- reduced form of quadratic equation

- reduced form

- reflexive form

- relative defferential form
- relatively bounded form - repair request form
- residual form

- residue form

- resolving form

- resultant form

- scalar form

- second fundamental form

- self-conjugate form

- self-dual form

- semibasic form

- semibilinear form

- semicanonical form

- semicontinuous form

- semidefinite form

- semidiscrete form

- semiequivalent form

- seminormal form

- separately continuous form

- sesquilinear form

- shape form

- sharp form

- sign-and-absolute-value form

- simplified form

- skew-symmetric form

- slope-intercept form

- smooth form

- solder form

- space form

- special minimal form

- spectral form

- spinor form

- statement form

- strictly positive form

- structural form

- supercusp form

- symbolic form

- symmetric form of equation

- symmetrized form

- symplectic form

- tensorial form

- ternary quadratic form
- third fundamental form
- three-point form

- torsion form

- totally continuous form
- totally definite form - totally discontinuous form
- trace form

- transposed form

- trilinear form

- triple-diagonal form

- two-intercept form

- two-point form

- unbounded form

- unit bilinear form

- unitary form

- vectorial form

- vector-valued form

- vicinal form

- weighted form of lemma

English-Russian scientific dictionary > form
9 formula

1) рецепт

2) формула || формульный

3) формулировка

•

to follow the formula — подчиняться [следовать] формуле; описываться формулой

- absolute formula

- absorbing formula

- adjunction formula

- analytic formula

- arithmetic formula

- arithmetically provable formula
- arithmetically valid formula
- associativity formula

- asymptotic expansion formula
- back interpolation formula
- base formula

- bilinear formula

- binomial formula

- boundable formula

- central difference formula

- chain formula

- characteristic formula

- circular formula

- class formula

- classical formula

- class-number formula

- closed formula

- closedness formula

- coboundary formula

- collection formula

- combinatorial formula

- combined formula

- compatible formula

- complete formula

- compositional formula

- compound formula

- compound interest formula
- computational formula - computing formula
- conditional formula

- conditionally filtering formula

- consistent formula

- constructive formula

- continuation formula

- contraction formula

- contradictory formula

- control formula

- conversion formula

- corollary formula

- correct formula

- correction formula
- corrector formula
- correlation formula

- cut formula

- decidable formula

- decomposable formula

- decomposition formula

- deducible formula

- definitory formula

- derivable formula

- derivation formula

- describing formula

- diagonal formula

- difference formula

- differentiation formula

- disprovable formula

- distance formula

- distribution formula

- dual formula

- dual-symmetric formula

- effectively true formula

- elementary formula

- empty formula

- end formula

- estimation formula

- evaluation formula

- even-numbered formula

- exact formula

- existential formula

- explicit formula

- explicitly definable formula

- exponential formula

- extrapolation formula

- false formula

- filtered formula

- final formula

- first resolvent formula
- formally decidable formula - formally refutable formula - formula of finite increments
- formula of inversion

- formula of signature

- formula of total probability

- formula of traces

- free formula

- Fresnel's formula

- fully symmetric formula

- functional formula

- Gauss formula

- general formula

- general recursively true formula

- generalized formula

- generalizing formula

- geometrically provable formula
- geometrically valid formula
- global formula

- goniometric formula

- graphic formula

- Griem's formula

- grotesque formula

- Hardy-Weinberg equilibrium formula
- homomorphically stable formula - identically false formula - identically true formula
- implicit formula

- implicitly definable formula

- incomplete formula

- inconsistent formula

- incorrect formula

- indecomposable formula

- induction formula

- infinitary formula

- intuitionistically derivable formula
- intuitionistically valid formula
- invalid formula

- invariant formula

- inverse formula

- isolated formula

- iterative formula

- jointly satisfiable formulas

- Khintchine-Pollaczek formula

- kinematic formula

- krakowian formula

- least squares formula

- limiting formula

- listing formula

- logical formula

- logically determinate formula
- logically valid formula - maximum likelihood formula
- metalinguistic formula

- mix formula

- mixing formula

- modal formula

- modally derivable formula
- modally valid formula
- modified formula

- monotonically decreasing formula
- monotonically increasing formula
- multinomial formula

- multiplicatively stable formula

- negative formula

- neutral formula

- Newton's interpolation formula

- normative formula

- number-theoretic formula

- numeralwise decidable formula
- numeralwise expressible formula - numeralwise representable formula
- numerical formula

- open formula

- optimal formula

- perturbation formula

- Planck radiation formula

- polarization formula

- polynomial formula

- poor formula

- positive formula

- positively derivable formula
- positively valid formula
- postulation formula

- predicate letter formula

- predicative formula

- prediction formula

- prenex formula

- primitive formula

- primitively conditional formula
- primitively recursive formula
- principal formula

- prismatoid formula

- propositional formula

- purely analytic formula

- quadrangle formula

- quantifier-free formula

- quasiatomic formula

- ranked formula

- realizable formula

- reciprocation formula
- reciprocity formula
- recurrent formula

- recursion formula

- regression formula

- residue formula

- restricted formula

- reverse formula

- rudimentary formula

- satisfiable formula

- secondarily satisfiable formula
- secondarily valid formula
- semiempirical formula

- sequential formula

- set-theoretical formula

- shrewd formula

- side formula

- sieve formula

- simple interest formula

- simplified formula

- smoothing formula

- snap formula

- spherical product formula
- square stable formula
- squared formula

- subtraction formula

- symmetrical formula

- symmetrical interpolation formula

- tabulated formula

- terminal formula

- testing formula

- topological formula

- transfinite formula

- true formula

- truncated formula

- two-level formula

- unary formula

- undecidable formula

- underivable formula

- universal formula

- universally existential formula
- universally valid formula
- unprovable formula

- unreliazable formula

- unsatisfiable formula

- untestable formula

- verifiable formula

English-Russian scientific dictionary > formula

См. также в других словарях:

Generalized quantifier — In linguistic semantics, a generalized quantifier is an expression that denotes a property of a property, also called a higher order property. This is the standard semantics assigned to quantified noun phrases, also called determiner phrases, in… … Wikipedia
Generalized geography — In computational complexity theory, generalized geography is a problem that can be proven to be PSPACE Complete.IntroductionGeography is a childs game, which is good for a long car trip, where players take turns naming cities from anywhere in the … Wikipedia
Lindström quantifier — In mathematical logic, a Lindström quantifier is a generalized polyadic quantifier. They are a generalization of first order quantifiers, such as the existential quantifier, the universal quantifier, and the counting quantifiers.They were… … Wikipedia
Conditional quantifier — In logic, a conditional quantifier is a kind of Lindström quantifier (or generalized quantifier) QA that, relative to a classical model A, satisfies some or all of the following conditions ( X and Y range over arbitrary formulas in one free… … Wikipedia
Quantification — has two distinct meanings.In mathematics and empirical science, it refers to human acts, known as counting and measuring that map human sense observations and experiences into members of some set of numbers. Quantification in this sense is… … Wikipedia
Definite description — A definite description is a denoting phrase in the form of the X where X is a noun phrase or a singular common noun. The definite description is proper if X applies to a unique individual or object. For example: the first person in space and the… … Wikipedia
List of philosophy topics (D-H) — DDaDai Zhen Pierre d Ailly Jean Le Rond d Alembert John Damascene Damascius John of Damascus Peter Damian Danish philosophy Dante Alighieri Arthur Danto Arthur C. Danto Arthur Coleman Danto dao Daodejing Daoism Daoist philosophy Charles Darwin… … Wikipedia
Johan van Benthem — Johan van Benthem, eigentlich Johannes Franciscus Abraham Karel van Benthem (* 12. Juni 1949 in Rijswijk), ist ein niederländischer mathematischer und philosophischer Logiker. Van Benthem studierte zunächst Physik (Bachelor Abschluss 1969) und… … Deutsch Wikipedia
List of algebraic structures — In universal algebra, a branch of pure mathematics, an algebraic structure is a variety or quasivariety. Abstract algebra is primarily the study of algebraic structures and their properties. Some axiomatic formal systems that are neither… … Wikipedia
Real closed field — In mathematics, a real closed field is a field F in which any of the following equivalent conditions are true:#There is a total order on F making it an ordered field such that, in this ordering, every positive element of F is a square in F and… … Wikipedia
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia

Словари и энциклопедии на Академике

Перевод: со всех языков на русский

generalized quantifier

См. также в других словарях:

Поделиться ссылкой на выделенное

Словари и энциклопедии на Академике

Перевод: со всех языков на русский

generalized quantifier

См. также в других словарях:

Поделиться ссылкой на выделенное

Прямая ссылка: